echo "rootdir:"$ROOTDIR
echo "osdrv_cross:"$OSDRV_CROSS
echo "osdrv_arch:"$OSDRV_ARCH
